GroupOrder

GroupOrder[group] returns the number of elements of group.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.